Orion : High-precision methods for static error analysis of C and C++ programsDAMS, Dermis R; NAMJOSHI, Kedar S.Lecture notes in computer science. 2006, pp 138-160, issn 0302-9743, isbn 3-540-36749-7, 1Vol, 23 p.Conference Paper

Abstraction for branching time propertiesNAMJOSHI, Kedar S.Lecture notes in computer science. 2003, pp 288-300, issn 0302-9743, isbn 3-540-40524-0, 13 p.Conference Paper

Automata as abstractionsDAMS, Dennis; NAMJOSHI, Kedar S.Lecture notes in computer science. 2005, pp 216-232, issn 0302-9743, isbn 3-540-24297-X, 17 p.Conference Paper

The existence of finite abstractions for branching time model checkingDAMS, Dennis; NAMJOSHI, Kedar S.Symposium on Logic in Computer Science. 2004, pp 335-344, isbn 0-7695-2192-4, 1Vol, 10 p.Conference Paper

Certifying model checkersNAMJOSHI, Kedar S.Lecture notes in computer science. 2001, pp 2-13, issn 0302-9743, isbn 3-540-42345-1Conference Paper

Lifting temporal proofs through abstractionsNAMJOSHI, Kedar S.Lecture notes in computer science. 2003, pp 174-188, issn 0302-9743, isbn 3-540-00348-7, 15 p.Conference Paper

Incremental algorithms for inter-procedural analysis of safety propertiesCONWAY, Christopher L; NAMJOSHI, Kedar S; DAMS, Dennis et al.Lecture notes in computer science. 2005, pp 449-461, issn 0302-9743, isbn 3-540-27231-3, 13 p.Conference Paper

Visual specifications for Modular reasoning about asynchronous systemsAMLA, Nina; EMERSON, E. Allen; NAMJOSHI, Kedar S et al.Lecture notes in computer science. 2002, pp 226-242, issn 0302-9743, isbn 3-540-00141-7, 17 p.Conference Paper

Model checking synchronous Timing diagramsAMLA, Nina; EMERSON, E. Allen; KURSHAN, Robert P et al.Lecture notes in computer science. 2000, pp 283-298, issn 0302-9743, isbn 3-540-41219-0Conference Paper

Shape analysis through predicate abstraction and model checkingDAMS, Dennis; NAMJOSHI, Kedar S.Lecture notes in computer science. 2003, pp 310-323, issn 0302-9743, isbn 3-540-00348-7, 14 p.Conference Paper